Knihy od autora Stefan Leue

Zobrazeno 1 – 4 z 4 výsledků

1. 

   Scenarios: Models, Transformations and Tools

   Stefan Leue, Tarja J. Systä | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
2. 

   Theoretical and Practical Aspects of SPIN Model Checking

   Dennis Dams, Robert Gerth, Stefan Leue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
3. 

   Model Checking Software

   Dragan Bosnacki, Stefan Leue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Formal Methods for Industrial Critical Systems

   Stefan Leue, Pedro Merino | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit

Informujeme vás o každém kroku vyřizování objednávky. Zjistěte více